A practical flow-sensitive and context-sensitive C and C++ memory leak detector
نویسندگان
چکیده
منابع مشابه
A Memory Model Sensitive Checker for C#
Modern concurrent programming languages like Java and C# have a programming language level memory model; it captures the set of all allowed behaviors of programs on any implementation platform — unior multi-processor. Such a memory model is typically weaker than Sequential Consistency and allows re-ordering of operations within a program thread. Therefore, programs verified correct by assuming ...
متن کاملA Context-Sensitive Memory Model for Verification of C/C++ Programs
Verification of low-level C/C++ requires a precise memory model that supports type unions, pointer arithmetic, and casts. We present a new memory model that splits memory into a finite set of disjoint regions based on a pointer analysis. The main contribution is a field-, arrayand context-sensitive pointer analysis tailored to verification. We have implemented our memory model for the LLVM bitc...
متن کاملFlow-sensitive Type Analysis for C++ Flow-sensitive Type Analysis for C++
LIMITED DISTRIBUTION NOTICE This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and spe...
متن کاملContext-sensitive Asynchronous Memory
3 Domain. To further test the properties of the MPA algorithm, I developed an Abstract domain with the same overall structure as the Stinger Missile domain used in the earlier experiments. States in the Abstract domain are constructed entirely of sets of literals with no variables, eliminating binding problems; the complexity in the domain instead arises in its large number of operators (approx...
متن کاملA Practical Memory Leak Detector Based on Parameterized Procedural Summaries
We present a static analyzer that detects memory leaks in C programs. It achieves relatively high accuracy at a relatively low cost on SPEC2000 benchmarks and several open-source software packages, demonstrating its practicality and competitive edge against other reported analyzers: for a set of benchmarks totaling 1,777 KLOCs, it found 332 bugs with 47 additional false positives (a 12.4% false...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2003
ISSN: 0362-1340,1558-1160
DOI: 10.1145/780822.781150